#include "../kernel/process.h"
#include "../kernel/thread.h"
#include "../lib/define.h"
#include "../lib/descriptor.h"
#include "../lib/rtl.h"


void IdtInitialize(void);

extern IntrHandler IDTTable[INTR_ENTRY_CNT];
extern SyscallProc SyscallTable[SYSCALL_CNT];
